منابع مشابه
Reasoning with constraint diagrams
There is a range of visual languages which express logical statements, for example Euler diagrams. The effective use of such languages relies on knowledge about whether a diagram is contradictory and whether reasoning can be performed to transform one diagram into another. It is also desirable to know the expressiveness of such languages. Knowing what a language can and cannot express is import...
متن کاملTransforming Constraint Diagrams
Constraint diagrams were proposed by Kent for the purposes of formal software specification in a visual manner. They have recently been formalized and generalized, making them more expressive. This paper presents a collection of transformations that can be applied to the so-called unitary α fragment of constraint diagrams. The transformations can be used to define inference rules in a more succ...
متن کاملEvaluating and generalizing constraint diagrams
The constraint diagram language was designed to be used in conjunction with the Unified Modelling Language (UML), primarily for placing formal constraints on software models. In particular, constraint diagrams play a similar role to the textual Object Constraint Language (OCL) in that they can be used for specifying system invariants and operation contracts in the context of a UML model. Unlike...
متن کاملInvestigating Reasoning with Constraint Diagrams
Constraint diagrams are a visual notation designed to express logical constraints. Augmenting the diagrams with a reading tree (effectively a partial ordering of quantifiers) ensures that each diagram has a unique semantic interpretation. In this paper, we discuss examples of reasoning rules for augmented constraint diagrams which exhibit interesting properties or difficulties that can arise wh...
متن کاملTowards a Default Reading for Constraint Diagrams
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development of software systems. They generalize Venn diagrams and Euler circles, and include facilities for quantification and navigation of relations. Due to the lack of a linear ordering of symbols inherent in a diagrammatic l...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 1997
ISSN: 0362-1340,1558-1160
DOI: 10.1145/263700.263756